Results for 'Ana Toledo del Cerro'

974 found
Order:
  1.  23
    Making Choices in Discourse: New Alternative Masculinities Opposing the “Warrior’s Rest”.Laura Ruiz-Eugenio, Ana Toledo del Cerro, Jim Crowther & Guiomar Merodio - 2021 - Frontiers in Psychology 12:674054.
    Psychology research on men studies, attractiveness, and partner preferences has evolved from the influence of sociobiological perspectives to the role of interactions in shaping election toward sexual–affective relationships and desire toward different kinds of masculinities. However, there is a scientific gap in how language and communicative acts among women influence the kind of partner they feel attracted to and in the reproduction of relationship double standards, like the myth of the “warrior’s rest” where female attractiveness to “bad boys” is encouraged (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  37
    The ethical implications of preventing hospital delirium in older adults: A scoping review.Janet Delgado, Ana Toledo Chávarri, Ana María de Pascual Y. Medina, Beatriz León Salas, María del Mar Trujillo Martín & Pedro Serrano Aguilar - forthcoming - Clinical Ethics:147775092210944.
    Introduction Hospital delirium is a frequent, serious, costly, and underrecognized acute disorder of attention and cognition. Therefore, the prevention of hospital delirium is not only desirable for patients, caregivers, healthcare professionals, and the health system itself, but also a moral duty. Objective To identify and synthetize the main ethical aspects that arise related to the prevention of hospital delirium in patients 65 years and older. Methods A scoping review was carried out in Embase, Medline, and Web of Science. Articles published (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Inscripciones árabes halladas en las excavaciones de la sinagoga del Tránsito. Toledo.Ana María López Alvarez, María Luisa Menéndez Robles & Santiago Palomero Plaza - 1995 - Al-Qantara 16 (2):433-448.
    No categories
     
    Export citation  
     
    Bookmark  
  4. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  17
    From ordering-based nonmonotonic reasoning to conditional logics.Luis Fariñas del Cerro, Andreas Herzig & Jérôme Lang - 1994 - Artificial Intelligence 66 (2):375-393.
  6. Grammar logics.L. Farinas del Cerro & Martti Penttonen - 1988 - Logique Et Analyse 31 (121-122):123-134.
  7.  38
    Capturing equilibrium models in modal logic.Luis Fariñas del Cerro, Andreas Herzig & Ezgi Iraz Su - 2014 - Journal of Applied Logic 12 (2):192-207.
  8. Sequents for dependence logic.L. Fariñas del Cerro & V. Lugardon - forthcoming - Logique Et Analyse.
  9.  35
    A general framework for pattern-driven modal tableaux.Luis Fariñas Del Cerro & Olivier Gasquet - 2002 - Logic Journal of the IGPL 10 (1):51-83.
  10.  23
    Note to the reader.Luis Fariñas Del Cerro - 1995 - Journal of Applied Non-Classical Logics 5 (2):i-i.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets, Non-standard logics for automated reasoning. San Diego: Academic Press.
     
    Export citation  
     
    Bookmark  
  12. Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
    This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending the (...)
     
    Export citation  
     
    Bookmark   1 citation  
  13. Sequents for dependence logics.Luis Fariñas del Cerro & Val Erie Lugardon - 1991 - Logique Et Analyse 133 (134):55-71.
  14.  37
    Condicionales y no monotonía.Luis Fariñas del Cerro & Antonio Frias Delgado - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):27-36.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Logics in Artificial Intelligence.Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.) - 2012 - Springer.
  16.  50
    Minimal structures for modal tableaux: Some examples.Luis Fariñas del Cerro & Olivier Gasquet - 2004 - Logic and Logical Philosophy 8:99.
  17. Resolution Modal logics-Automated reasoning in nonclassical logic.L. Farifias del Cerro - forthcoming - Logique Et Analyse.
  18.  39
    Razonamiento no monótono.Luis Fariñas del Cerro & Antonio Frias Delgado - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):7-26.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  59
    Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
    Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20. Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  20
    Luttikhuizen, Frances, España y la Reforma Protestante. Vigo: Editorial Academia del Hispanismo, 2017, 466 pp. [REVIEW]Pablo Ortega-del-Cerro - 2019 - Anales Del Seminario de Historia de la Filosofía 36 (2):573-574.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  94
    Conditionals: from philosophy to computer science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. L. Farinas and E. ORLOWSKA, Preface 115 P. WOLPER, The tableau method for temporal logic: an over-view 119 M. MICHEL, Computation of temporal operators 137. [REVIEW]L. Farinas del Cerro - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  24. Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview. [REVIEW]Luis Farinas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
     
    Export citation  
     
    Bookmark  
  25.  27
    Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis Farinas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
  26.  20
    Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  61
    How Mixed Relay Teams in Swimming Should Be Organized for International Championship Success.Santiago Veiga, Jesús Santos del Cerro, Luis Rodriguez, Alfonso Trinidad & José María González-Ravé - 2021 - Frontiers in Psychology 12.
    The primary goal of the present research was to determine the order of swimmers on a mixed relay team that would ensure the best performance in the Fédération Internationale de Natation World Championships held in Kazan, Budapest, and Gwangju. The data were obtained from database websites for the 4 × 100 m freestyle and 4 × 100 m medley official results,1 including 660 records from 188 entries of finals and 472 preliminary events. The results showed that the fastest swimmers were (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. A relational model of movement.Philippe Balbiani & Fariñas del Cerro - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  29. Eldments de gdomdtrie mgcanique.P. Balbiani, V. Dugat, L. Farifias del Cerro & A. Lopez - forthcoming - Hermes.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  37
    (1 other version)A Modal Herbrand's Property.Marta Cialdea & Luis Fariñas del Cerro - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):523-530.
  31.  23
    Structure, consequence relation and logic.Gabriella Crocco & L. Farinas del Cerro - 1994 - In Dov M. Gabbay, What is a logical system? New York: Oxford University Press.
  32.  28
    Translation of first order formulas into ground formulas via a completion theory.Robert Demolombe, Luis Fariñas del Cerro & Naji Obeid - 2016 - Journal of Applied Logic 15:130-149.
  33.  16
    A Foucauldian Interpretation of Modern Law. From Sovereignty to Normalisation and Beyond.Gerardo del Cerro Santamaría - 2019 - Foucault Studies 26:111-114.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  24
    Comparing the Pathway to Success in European Countries Competing in the Swimming World Championships.Inmaculada Yustres, Jesús Santos del Cerro, Fernando González-Mohíno, Michael Peyrebrune & José María González-Ravé - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  44
    Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker systems, by eliminating (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. ElØments de gØomØtrie mØcanique.P. Balbiani, V. Dugat, L. Fari nas del Cerro & A. Lopez - forthcoming - Hermes.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    The concept of quality of life: Legal aspects.Ana Marcos Del Cano - 2001 - Medicine, Health Care and Philosophy 4 (1):91-95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Teoría del nexo: la estructura léxico-semántica de la nexuación interoracional.Román del Cerro & L. J. - 1984 - [Alicante]: Subsecretariado de Publicaciones Universidad de Alicante.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Condicionales y no monotonía.Luis FariÑas Del Cerro - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):27.
     
    Export citation  
     
    Bookmark  
  41.  32
    Foreword.Luis Fariñas Del Cerro - 2003 - Journal of Applied Non-Classical Logics 13 (1):114-114.
  42. Razonamiento no monótono: un breve panorama.Luis Fariñas del Cerro & Antonio Frías Delgado - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):7-26.
     
    Export citation  
     
    Bookmark  
  43. System to Detect Racial-Based Bullying through Gamification.José A. Álvarez-Bermejo, Luis J. Belmonte-Ureña, Africa Martos-Martínez, Ana B. Barragán-Martín & María del Mar Simón-Marquez - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  5
    Familia y género en Alexis de Tocqueville.Elisa Usategui Basozabal & Ana Irene del Valle Loroño - 2024 - Isegoría 70:1480.
    Una aportación importante de Tocqueville a la sociología de la familia es haber mostrado la ligazón existente entre la estructura familiar y la organización social, así como su análisis de las dinámicas psico-políticas del emergente ideal de familia democrática. Sin embargo, el humanismo cívico de Tocqueville se estrella ante la “cuestión de la mujer”. Su defensa de la división sexual del trabajo como funcional para el sistema social o, en su terminología, para el orden moral, fuente y principio del orden (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  58
    Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2016 - Journal of Applied Non-Classical Logics 26 (4):336-345.
    In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  25
    Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv+ 239 pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
  48.  99
    Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.
    ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  38
    Logical connectives for two-state semantics.Marta Cialdea Mayer & Luis Fariñas del Cerro - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):520-536.
    1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  10
    Conditionals: From Philosophy to Computer Science.Gabriella Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Studies in Logic and Computati.
    Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 974